-
1 logic algebra
алгебра логики ( раздел математической логики); логическая алгебра; булева алгебра; булево исчислениеАнгло-русский словарь промышленной и научной лексики > logic algebra
-
2 first-order predicate calculus
Англо-русский словарь промышленной и научной лексики > first-order predicate calculus
-
3 теория автоматов
теория автоматов
Раздел теоретической кибернетики, который изучает математические модели (называемые здесь автоматами или машинами) реальных или возможных устройств, перерабатывающих дискретную информацию дискретными же тактами. Основными понятиями этой теории являются абстрактный автомат и композиция автоматов. Абстрактный автомат — модель, представляющая устройство, которое преобразует информацию в виде «черного ящика», имеющего входы и выходы и некоторое множество внутренних состояний. Когда на входы подается сигнал, то в зависимости от него и текущего состояния автомат переходит в следующее состояние и выдает сигналы на свои выходы. Это — один такт действия автомата. Затем подается следующий сигнал, наступает следующий такт и т.д. Изменение сигналов на входе меняет состояния автомата и его выходные сигналы, т.е. происходят элементарные преобразования поступающей в виде сигналов информации. Композиция автоматов показывает, каким образом из элементарных устройств может быть построено другое, более сложное. Т.а. позволяет не только конструировать разнообразные вычислительные машины (для чего, собственно, и была создана), но и изучать проблемы математической логики, разработки алгоритмов, программирования для компьютеров.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > теория автоматов
См. также в других словарях:
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний) раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… … Википедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. В формулах А. л. переменные являются логическими или двоичными, т. е. принимающими только два… … Большая политехническая энциклопедия
Научные организации в области логики — Научные организации в области логики это философские и математические научные организации, область исследований которых относится к логике Содержание 1 Организация логики в России … Википедия
Философия логики — Философия логики раздел философии, изучающий предмет, функциональность и методологию логики как общеметодологической концепции науки. Философия логики исследует проблему наличия и совмещения в логике онтологических и когнитивных оснований,… … Википедия
Многозначная логика — раздел математической логики (См. Математическая логика), изучающий математические модели логики высказываний (См. Логика высказываний). Эти модели отражают две основные черты последней множественность значений истинности высказываний и… … Большая советская энциклопедия
метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… … Словарь терминов логики
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия